Feeds to Scour
SubscribedAll
Scoured 77875 posts in 856.7 ms
Project Aletheia: Verifier-Guided Distillation of Backtracking for Small Language Models
arxiv.org·4h
🪜Recursive Descent
Preview
Report Post
Experiments on Reward Hacking Monitorability in Language Models
lesswrong.com·4h
🏰Capability Machines
Preview
Report Post
Making a Language
thunderseethe.dev·11h
🔬programming language theory
Preview
Report Post
CodeSOD: Validation Trimmed Away
thedailywtf.com·1d
🛡️Parser Security
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🧮Theorem Provers
Preview
Report Post
Randomization in Typst
idraluna-archives.bearblog.dev·14h
🌊Gradual Effects
Preview
Report Post
Harper: Free, Open Source Grammar Checker
writewithharper.com·7h·
Discuss: r/webdev
🔄Incremental Lexing
Preview
Report Post
Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
arxiv.org·1d
🪜Recursive Descent
Preview
Report Post
t2x - a CLI tool for AI-first text operations
shruggingface.com·1d
🔄Incremental Lexing
Preview
Report Post
Bypassing Gemma and Qwen safety with raw strings
teendifferent.substack.com·3d·
Discuss: Substack
🛡️Parser Security
Preview
Report Post
HKUST-KnowComp/NAACL: The official codebase for our paper "NAACL: Noise-AwAre Verbal Confidence Calibration for LLMs in RAG Systems"
github.com·1d
💬Interactive REPLs
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·17h·
Discuss: Hacker News
🪢Rope Data Structures
Preview
Report Post
Benchmarking my parser generator against LLVM: I have a new target
modulovalue.com·4d·
Discuss: Hacker News
⚙️Compilers
Preview
Report Post
Ralph, too, needs a test train split
softwaredoug.com·1d·
Discuss: Hacker News
🌳Tree Diffing
Preview
Report Post
Use of Assertions
blog.regehr.org·18h
🔍Static Analysis
Preview
Report Post
Building a Self-Healing Data Pipeline That Fixes Its Own Python Errors
towardsdatascience.com·20h
🔧Error Recovery
Preview
Report Post
Dealing with alternatives
jemarch.net·1d
🔢Binary Formats
Preview
Report Post
Evolution of LLMs use by a programmer
asfaload.com·16h·
Discuss: Hacker News
🎮Language Ergonomics
Preview
Report Post
Four LLM Stress Tests
dev.to·13h·
Discuss: DEV
🧩SAT Solvers
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help